Almeida, José Bacelar : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (16)
Les plus populaires
Liste
- Liste
- Tableau

1

A Tool for Programming with Interaction Nets

José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 624 KB

english, 2008

2

A Local Graph-rewriting System for Deciding Equality in Sum-product Theories

José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 1.15 MB

english, 2007

3

Token-passing Nets for Functional Languages

José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 952 KB

english, 2008

4

Deductive verification of cryptographic software

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira

Journal:

Innovations in Systems and Software Engineering

Année:

2010

Langue:

english

Fichier:

PDF, 501 KB

english, 2010

5

[Undergraduate Topics in Computer Science] Rigorous Software Development ||

Almeida, José Bacelar, Frade, Maria João, Pinto, Jorge Sousa, Melo de Sousa, Simão

Année:

2011

Langue:

english

Fichier:

PDF, 2.61 MB

english, 2011

6

CAOVerif: An open-source deductive verification platform for cryptographic software implementations

Almeida, José Bacelar, Barbosa, Manuel, Filliâtre, Jean-Christophe, Pinto, Jorge Sousa, Vieira, Bárbara

Journal:

Science of Computer Programming

Année:

2014

Langue:

english

Fichier:

PDF, 430 KB

english, 2014

7

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Certified computer-aided cryptography

Almeida, José Bacelar, Barbosa, Manuel, Barthe, Gilles, Dupressoir, François

Année:

2013

Langue:

english

Fichier:

PDF, 817 KB

english, 2013

8

[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - Full proof cryptography

Bacelar Almeida, José, Barbosa, Manuel, Bangerter, Endre, Barthe, Gilles, Krenn, Stephan, Zanella Béguelin, Santiago

Année:

2012

Langue:

english

Fichier:

PDF, 554 KB

english, 2012

9

TCT-202 Evaluation of Renal Function Improvement After Transcatheter Aortic Valve Replacement

Lemes da Silva, Michel, Bacelar Nunes Filho, Antonio Carlos, Caixeta, Adriano, Ribeiro, Henrique, Esteves, Natalia, Almeida, Breno, Mariani, Jose, Campos, Carlos, Pereira, Carolina, Prado, Rogério Rus

Journal:

Journal of the American College of Cardiology

Année:

2017

Langue:

english

Fichier:

PDF, 153 KB

english, 2017

10

[ACM Press the 2017 ACM SIGSAC Conference - Dallas, Texas, USA (2017.10.30-2017.11.03)] Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17 - Jasmin

Almeida, José Bacelar, Strub, Pierre-Yves, Barbosa, Manuel, Barthe, Gilles, Blot, Arthur, Grégoire, Benjamin, Laporte, Vincent, Oliveira, Tiago, Pacheco, Hugo, Schmidt, Benedikt

Année:

2017

Langue:

english

Fichier:

PDF, 1.23 MB

english, 2017

11

[ACM Press the 2017 ACM SIGSAC Conference - Dallas, Texas, USA (2017.10.30-2017.11.03)] Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17 - A Fast and Verified Software Stack for Secure Function Evaluation

Almeida, José Bacelar, Barbosa, Manuel, Barthe, Gilles, Dupressoir, François, Grégoire, Benjamin, Laporte, Vincent, Pereira, Vitor

Année:

2017

Langue:

english

Fichier:

PDF, 1.38 MB

english, 2017

12

Sleep EEG of Microcephaly in Zika Outbreak

Kanda, Paulo Afonso Medeiros, Aguiar, Aline de Almeida Xavier, Miranda, Jose Lucivan, Falcao, Alexandre Loverde, Andrade, Claudia Suenia, Reis, Luigi Neves dos Santos, Almeida, Ellen White R. Bacelar,

Journal:

The Neurodiagnostic Journal

Année:

2018

Langue:

english

Fichier:

PDF, 1.99 MB

english, 2018

13

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks

Almeida, Jose Bacelar, Barbosa, Manuel, Barthe, Gilles, Pacheco, Hugo, Pereira, Vitor, Portela, Bernardo

Année:

2018

Fichier:

PDF, 397 KB

2018

14

Teaching how to program using automated assessment and functional glossy games (experience report)

Almeida, José Bacelar, Cunha, Alcino, Macedo, Nuno, Pacheco, Hugo, Proença, José

Journal:

Proceedings of the ACM on Programming Languages

Année:

2018

Langue:

english

Fichier:

PDF, 1.56 MB

english, 2018

15

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks

Almeida, Jose Bacelar, Barbosa, Manuel, Barthe, Gilles, Pacheco, Hugo, Pereira, Vitor, Portela, Bernardo

Année:

2018

Langue:

english

Fichier:

PDF, 397 KB

english, 2018

16

[IEEE 2020 IEEE Symposium on Security and Privacy (SP) - San Francisco, CA, USA (2020.5.18-2020.5.21)] 2020 IEEE Symposium on Security and Privacy (SP) - The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

Almeida, Jose Bacelar, Barbosa, Manuel, Barthe, Gilles, Gregoire, Benjamin, Koutsos, Adrien, Laporte, Vincent, Oliveira, Tiago, Strub, Pierre-Yves

Année:

2020

Fichier:

PDF, 299 KB

2020